Higher order predicate calculus
[计] 高阶谓词演算
🧩 词语组成解析
[经] 上扬
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
calculus
['kælkjələs]
n. [医]结石，石，积石，牙垢;[数]运算，演算，微积分（学）;
ule,ulus 后缀;表”小,少”#词根助记：calc石头(古时候用石头来计算)##calc 石灰,石头#词根助记：calc石头(古时候用石头来计算)
🗣️ 情景例句
You know we'll be there for you.
你们知道我们是会伸出援手的。
When in Rome do as the Romans do.
入乡随俗。
Don't worry! We won't leave before nine. We'll wait for you outside the school gate!
别担心！9：00前我们不会出发。我们将在学校的大门外等你！